\begin{tabbing}
ma{-}compatible{-}decls\=\{i:l\}\+
\\[0ex]($M_{1}$; $M_{2}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=fpf{-}compatible(Id; $x$.Type\{i\}; IdDeq; ($M_{1}$.1); ($M_{2}$.1))\+
\\[0ex]\& fpf{-}compatible(Knd; $x$.Type\{i\}; KindDeq; (($M_{1}$.2).1); (($M_{2}$.2).1))
\-
\end{tabbing}